sTeXIIS: An Integrated Development Environment for sTeX Collections
نویسندگان
چکیده
1 Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of common, timeconsuming subtasks, which can be supported in an integrated authoring environment. We have adapted the modular Eclipse IDE into STEXIDE, an authoring solution for enhancing productivity in contributing to STEX based corpora. STEXIDE supports context-aware command completion, module management, semantic macro retrieval, and theory graph navigation.
منابع مشابه
Editing Knowledge in Large Mathematical Corpora. A case study with Semantic LaTeX (sTeX)
Before we can get the whole potential of employing computers in the process of managing mathematical ‘knowledge’, we have to convert informal knowledge into machine-oriented representations. How exactly to support this process so that it becomes as effortless as possible is one of the main unsolved problems of Mathematical Knowledge Management. Two independent projects in formalization of mathe...
متن کاملKindergarten Children's Interaction Platform (Case Study on the Integration of children with movement disorders and normal children )
Undoubtedly one of the most important and most influential periods in one’s life is the childhood period. Given that children during this period of their lives are confronted with the essential concepts and some of the distresses and social beliefs that are influential in the development of their habits, characters, and skill sets. As a result, the benefits of appropriate education conforming t...
متن کاملDevelopment of an Integrated Performance Measurement (PM) Model for Pharmaceutical Industry
Regarding to rapidly changing and highly competitive business environment it will become increasingly important for organizations to measure their performances appropriately. With respect to special characteristics of pharmaceutical industry and lack of reported performance measurement, this study tries to design an integrated performance measurement model for pharmaceutical companies. For gene...
متن کاملDevelopment of an Integrated Performance Measurement (PM) Model for Pharmaceutical Industry
Regarding to rapidly changing and highly competitive business environment it will become increasingly important for organizations to measure their performances appropriately. With respect to special characteristics of pharmaceutical industry and lack of reported performance measurement, this study tries to design an integrated performance measurement model for pharmaceutical companies. For gene...
متن کاملThe effect of structured exercise classes and a lifestyle intervention on cardiovascular risk factors in primary schoolchildren: an exploratory trial (The A-CLASS Project).
This exploratory trial evaluates the effect of a structured exercise (STEX) or lifestyle intervention (PASS) program upon cardiovascular (CV) disease risk factors in children. Sixty-one schoolchildren were randomly assigned by school to an intervention or control (CON) condition. The effect of the STEX (compared with CON) was a mean benefit of -0.018 mm for average maximum carotid intimamedia t...
متن کامل